overview: avoid round-off errors when sizing and positioning view selector

We need the view selector to extend all the way to the right edge of the
monitor, so size and position the view selector in a way that the sum of
its X position and its width add up to the primary monitor width.

https://bugzilla.gnome.org/show_bug.cgi?id=642834

diff --git a/js/ui/overview.js b/js/ui/overview.js
index 843d8f2802d848f4b4ad81f5f6f2f6f51e5e0ffc..fd2266b0576e2594b7db890d2b6e3494aa5b1221 100644 (file)
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -437,11 +437,11 @@ Overview.prototype = {
         this._coverPane.set_position(0, contentY);
         this._coverPane.set_size(primary.width, contentHeight);
 
-        let viewWidth = (1.0 - DASH_SPLIT_FRACTION) * primary.width - this._spacing;
+        let dashWidth = Math.round(DASH_SPLIT_FRACTION * primary.width);
+        let viewWidth = primary.width - dashWidth - this._spacing;
         let viewHeight = contentHeight - 2 * this._spacing;
         let viewY = contentY + this._spacing;
-        let viewX = rtl ? 0
-                        : Math.floor(DASH_SPLIT_FRACTION * primary.width) + this._spacing;
+        let viewX = rtl ? 0 : dashWidth + this._spacing;
 
         // Set the dash's x position - y is handled by a constraint
         let dashX;